Wahrheitskriterium des Euklid nennt man ein Beweisverfahren, das man symbolisch mit Hilfe der aussagenlogischen Tautologie (~A ÉA) ÉA) ausdrücken kann. D. h.: wenn unter der Annahme der Negation ~A einer Aussage A ableitbar ist, dass A wahr ist, so ist A tatsächlich wahr.